package solvers;

import terms.DoubleResult;


public class DoubleSolver extends Solver {

	
	private static DoubleSolver solver;
	
	private DoubleSolver(){
	}
	/**
	 * Gets the singleton object
	 * @return the singleton object
	 */
	public static DoubleSolver getInstance(){
		if (solver == null)
			solver = new DoubleSolver();
		return solver;
	}
	
	public AbstractTF solve() 
	{
		AbstractTF result = new DoubleResult(1);
//		ArrayList<ArrayList<Integer>> loops = LoopFinder
//		ArrayList<ArrayList<Integer>> paths = LoopFinder
		
		
		return result;
	}

}